alternation theorem

[计] 交错定理